perm filename BASDD.DOT[X,ALS] blob
sn#805296 filedate 1986-01-30 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00125 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00008 00002 ↓:7,0,11
C00009 00003 α:8,0,11
C00010 00004 β:8,0,11
C00011 00005 ∧:9,0,11
C00012 00006 ¬:11,0,11
C00013 00007 ε:8,0,11
C00014 00008 π:8,0,11
C00015 00009 λ:8,0,11
C00016 00010 #11:6,0,11
C00017 00011 #13:12,0,11
C00018 00012 #14:8,0,11
C00019 00013 ∞:13,0,11
C00020 00014 ∂:8,0,11
C00021 00015 ⊂:9,0,11
C00022 00016 ⊃:9,0,11
C00023 00017 ∩:8,0,11
C00024 00018 ∪:8,0,11
C00025 00019 ∀:24,0,11
C00026 00020 ∃:8,0,11
C00027 00021 #26:8,0,11
C00028 00022 ↔:10,0,11
C00029 00023 _:7,0,11
C00030 00024 →:9,0,11
C00031 00025 ~:10,0,11
C00032 00026 ≠:13,0,11
C00033 00027 ≤:8,0,11
C00034 00028 ≥:9,0,11
C00035 00029 ≡:8,0,11
C00036 00030 ∨:8,0,11
C00037 00031 #40:5,0,11
C00038 00032 !:3,0,11
C00039 00033 ":6,0,11
C00040 00034 #:7,0,11
C00041 00035 $:7,0,11
C00042 00036 %:8,0,11
C00043 00037 &:11,0,11
C00044 00038 ':3,0,11
C00045 00039 (:5,0,11
C00046 00040 ):5,0,11
C00047 00041 *:6,0,11
C00048 00042 +:7,0,11
C00049 00043 ,:3,0,11
C00050 00044 -:5,0,11
C00051 00045 .:3,0,11
C00052 00046 /:5,0,11
C00053 00047 0:8,0,11
C00054 00048 1:8,0,11
C00055 00049 2:8,0,11
C00056 00050 3:8,0,11
C00057 00051 4:8,0,11
C00058 00052 5:8,0,11
C00059 00053 6:8,0,11
C00060 00054 7:8,0,11
C00061 00055 8:8,0,11
C00062 00056 9:8,0,11
C00063 00057 ::3,0,11
C00064 00058 #73:3,0,11
C00065 00059 <:8,0,11
C00066 00060 =:8,0,11
C00067 00061 >:8,0,11
C00068 00062 ?:6,0,11
C00069 00063 @:8,0,11
C00070 00064 A:12,0,11
C00071 00065 B:11,0,11
C00072 00066 C:11,0,11
C00073 00067 D:12,0,11
C00074 00068 E:10,0,11
C00075 00069 F:9,0,11
C00076 00070 G:12,0,11
C00077 00071 H:13,0,11
C00078 00072 I:6,0,11
C00079 00073 J:8,0,11
C00080 00074 K:13,0,11
C00081 00075 L:10,0,11
C00082 00076 M:15,0,11
C00083 00077 N:12,0,11
C00084 00078 O:13,0,11
C00085 00079 P:10,0,11
C00086 00080 Q:13,0,11
C00087 00081 R:11,0,11
C00088 00082 S:9,0,11
C00089 00083 T:12,0,11
C00090 00084 U:12,0,11
C00091 00085 V:13,0,11
C00092 00086 W:16,0,11
C00093 00087 X:13,0,11
C00094 00088 Y:11,0,11
C00095 00089 Z:9,0,11
C00096 00090 [:5,0,11
C00097 00091 \:5,0,11
C00098 00092 ]:5,0,11
C00099 00093 ↑:7,0,11
C00100 00094 ←:9,0,11
C00101 00095 `:3,0,11
C00102 00096 a:8,0,11
C00103 00097 b:9,0,11
C00104 00098 c:6,0,11
C00105 00099 d:9,0,11
C00106 00100 e:7,0,11
C00107 00101 f:6,0,11
C00108 00102 g:8,0,11
C00109 00103 h:9,0,11
C00110 00104 i:5,0,11
C00111 00105 j:6,0,11
C00112 00106 k:8,0,11
C00113 00107 l:4,0,11
C00114 00108 m:12,0,11
C00115 00109 n:9,0,11
C00116 00110 o:8,0,11
C00117 00111 p:9,0,11
C00118 00112 q:9,0,11
C00119 00113 r:6,0,11
C00120 00114 s:6,0,11
C00121 00115 t:5,0,11
C00122 00116 u:9,0,11
C00123 00117 v:9,0,11
C00124 00118 w:11,0,11
C00125 00119 x:9,0,11
C00126 00120 y:7,0,11
C00127 00121 z:7,0,11
C00128 00122 {:6,0,11
C00129 00123 |:3,0,11
C00130 00124 #175:8,0,11
C00131 00125 }:5,0,11
C00132 ENDMK
C⊗;
↓:7,0,11
......
...*..
...*..
...*..
...*..
...*..
...*..
...*..
*..*.*
.*.**.
..**..
......
......
......
......
α:8,0,11
.......
.......
.......
.......
......*
.***..*
....**.
*....*.
*....*.
....**.
.***..*
.......
.......
.......
.......
β:8,0,11
.......
....**.
...****
..*...*
.*...*.
.*...*.
.*..*..
**...**
**....*
**....*
******.
*......
*......
*......
.......
∧:9,0,11
........
........
........
........
........
...**...
..*..*..
..*..*..
.*....*.
.*....*.
*......*
........
........
........
........
¬:11,0,11
.........
.........
.........
.........
.........
.........
.........
.........
*********
.........
.........
.........
.........
.........
.........
ε:8,0,11
.......
...**..
..*..*.
.*....*
.......
.......
.......
.......
.......
.......
.......
.......
.......
.......
.......
π:8,0,11
.......
.......
.......
.......
.......
*******
.*...*.
.*...*.
.*...*.
.*...*.
.*...*.
.....**
.......
.......
.......
λ:8,0,11
.......
.......
.**....
*.**...
...*...
....*..
....*..
...**..
..*..*.
.*...*.
*.....*
.......
.......
.......
.......
#11:6,0,11
..*..
..*..
*...*
...*.
**..*
*.*.*
..*..
.....
.....
.....
.....
.....
.....
.....
.....
#13:12,0,11
..........
......****
......*..*
.....**...
.....**...
.....*....
.....*....
.....*....
....**....
....**....
.*..*.....
.****.....
..........
..........
..........
#14:8,0,11
.......
.......
...*...
...*...
...*...
*******
...*...
...*...
...*...
.......
*******
.......
.......
.......
.......
∞:13,0,11
...........
...**..*.*.
..*.***..*.
.*...*...*.
.*...*...*.
**********.
.*...*...*.
.*...*...*.
.*...*...*.
.*...*...*.
.**..**..**
...........
...........
...........
...........
∂:8,0,11
.......
...**..
..*..*.
......*
......*
......*
..*****
.*....*
.*....*
.*...*.
.****..
.......
.......
.......
.......
⊂:9,0,11
.......
.......
.......
.......
..*****
.*.....
*......
*......
.*.....
..*****
.......
.......
.......
.......
.......
⊃:9,0,11
.......
.......
.......
.......
******.
.....**
......*
......*
.....**
******.
.......
.......
.......
.......
.......
∩:8,0,11
......
......
......
......
..***.
.**.**
.*...*
.*...*
.*...*
.*...*
.*...*
......
......
......
......
∪:8,0,11
......
......
......
......
.*...*
.*...*
.*...*
.*...*
.*...*
.*...*
..***.
......
......
......
......
∀:24,0,11
.............
.............
.............
.............
.............
.............
.............
.............
.............
.............
...........**
.............
.............
.............
.............
∃:8,0,11
.......
*******
......*
......*
......*
......*
...****
......*
......*
......*
*******
.......
.......
.......
.......
#26:8,0,11
.......
.......
.......
.......
...**..
.*...*.
*.*.*.*
*..*..*
*.*.*.*
.*...*.
...**..
.......
.......
.......
.......
↔:10,0,11
.........
.........
.........
.........
.........
..*...*..
.*.....*.
*********
.*......*
..*....*.
......*..
.........
.........
.........
.........
_:7,0,11
.......
.......
.......
.......
.......
.......
.......
.......
.......
.......
.......
*******
.......
.......
.......
→:9,0,11
........
........
........
........
........
.....*..
......*.
********
.......*
......*.
.....*..
........
........
........
........
~:10,0,11
.........
.........
.........
.........
..**....*
.****...*
.*..****.
*....**..
.........
.........
.........
.........
.........
.........
.........
≠:13,0,11
...........
...**..**..
..*.***..*.
.*...**....
.*...*.....
**********.
.*...*...*.
.*...*...*.
.*...*...*.
.*...*...*.
.**..**..**
...........
...........
...........
...........
≤:8,0,11
.......
.......
.......
......*
....**.
..**...
.**....
...**..
.....**
.......
.******
.......
.......
.......
.......
≥:9,0,11
.........
...*...*.
.**.*.*.*
.*...*...
.*...*...
********.
.*...*...
.*...*...
.*...*...
.*...*...
.*...**..
.........
.........
.........
.........
≡:8,0,11
.......
...**..
.**..*.
.*.....
.*.....
******.
.*...*.
.*...*.
.*...*.
.*...*.
.**..**
.......
.......
.......
.......
∨:8,0,11
.......
...**.*
.**..**
.*....*
.*....*
*******
.*....*
.*....*
.*....*
.*....*
.**..**
.......
.......
.......
.......
#40:5,0,11
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
!:3,0,11
..
.*
**
**
**
.*
.*
.*
..
..
**
..
..
..
..
":6,0,11
.*.**
.*.**
.*.**
.*...
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
.....
#:7,0,11
......
......
......
......
......
..*.*.
******
..*.*.
******
..*.*.
..*.*.
......
......
......
......
$:7,0,11
..*.*.
..*.*.
.**.**
..*.**
*.*.*.
.**.*.
..***.
..*.**
..*.*.
*.*.**
.****.
..*.*.
......
......
......
%:8,0,11
.......
....***
...*.*.
***..*.
*.*.*..
.**.*..
...*...
...*...
..*..**
..*.*.*
.*..***
.......
.......
.......
.......
&:11,0,11
.........
...*.....
..*.*....
.*...*...
.**.*....
..**...**
..**..*.*
.*.**.*..
*...**...
*...***..
****..***
.........
.........
.........
.........
':3,0,11
.*
**
.*
.*
..
..
..
..
..
..
..
..
..
..
..
(:5,0,11
...*
..*.
..*.
.*..
.*..
**..
*...
*...
**..
.*..
.*..
..*.
..*.
....
....
):5,0,11
*...
.*..
.*..
..*.
..*.
..**
...*
...*
..**
..*.
..*.
.*..
.*..
....
....
*:6,0,11
.....
.....
.....
.....
..*..
..*..
*...*
...*.
**..*
*.*.*
..*..
.....
.....
.....
.....
+:7,0,11
......
......
......
......
......
...*..
...*..
.*****
...*..
...*..
......
......
......
......
......
,:3,0,11
..
..
..
..
..
..
..
..
..
..
**
.*
.*
..
..
-:5,0,11
....
....
....
....
....
....
....
....
****
....
....
....
....
....
....
.:3,0,11
..
..
..
..
..
..
..
..
..
..
**
..
..
..
..
/:5,0,11
....
...*
...*
..*.
..*.
..*.
..*.
.*..
.*..
.*..
.*..
*...
*...
....
....
0:8,0,11
.......
...**..
..*..*.
.*...*.
.*....*
.*....*
.*....*
.*....*
.*....*
.*...*.
..***..
.......
.......
.......
.......
1:8,0,11
.....
....*
..***
...**
...**
...**
...**
...**
...**
...**
...**
.....
.....
.....
.....
2:8,0,11
.......
..***..
.*..**.
*....**
.*...**
.....*.
....*..
...*...
..*....
.*.....
.*****.
.....*.
.......
.......
.......
3:8,0,11
.......
...**..
..*.**.
.*...*.
..**.*.
....*..
...***.
.....**
......*
.*...*.
..***..
.......
.......
.......
.......
4:8,0,11
.......
.......
....*..
...**..
..*.*..
.*..*..
*******
....*..
....*..
....*..
...***.
.......
.......
.......
.......
5:8,0,11
.......
..*..*.
..***..
..*....
..*....
..****.
..*..**
......*
......*
.*...**
.*****.
.......
.......
.......
.......
6:8,0,11
.......
..***..
.**.**.
**...*.
*......
*.***..
**...*.
*....**
*....**
.*...*.
.****..
.......
.......
.......
.......
7:8,0,11
..*....
.******
.******
.*....*
.....*.
.....*.
.....*.
....*..
....*..
....*..
...*...
.......
.......
.......
.......
8:8,0,11
.......
..***..
.*..**.
.*...*.
.**..*.
..***..
..*.**.
.*...**
**...**
.*...**
.*****.
.......
.......
.......
.......
9:8,0,11
.......
...**..
..*..*.
.*...*.
.*...**
.*...**
.**..**
..***.*
.....**
.....*.
.****..
.......
.......
.......
.......
::3,0,11
..
..
..
..
..
.*
.*
..
..
..
**
..
..
..
..
#73:3,0,11
..
..
..
..
..
.*
.*
..
..
..
**
.*
.*
..
..
<:8,0,11
.......
.......
.......
.......
.......
.....**
...**..
.**....
..**...
....**.
......*
.......
.......
.......
.......
=:8,0,11
.......
.......
.......
.......
.......
.......
.******
.......
.******
.......
.......
.......
.......
.......
.......
>:8,0,11
.......
.......
.......
.......
.......
.**....
...**..
.....**
....**.
..**...
.*.....
.......
.......
.......
.......
?:6,0,11
.....
.**..
*..*.
....*
....*
...*.
.**..
.*...
.*...
.....
.**..
.....
.....
.....
.....
@:8,0,11
.......
.......
.......
.......
..***..
.*...**
*..**.*
*.*..**
*.*****
**.....
.******
.......
.......
.......
.......
A:12,0,11
..........
.....*....
.....*....
....***...
....*.*...
...*..**..
...*...*..
...*****..
..*....**.
..*.....*.
.*......**
..........
..........
..........
..........
B:11,0,11
..........
*******...
..**..**..
..**...*..
..**...*..
..**..*...
..******..
..**...**.
..**....**
..**....**
..*******.
..........
..........
..........
..........
C:11,0,11
..........
...*****..
..**....*.
.**.....*.
.**.......
**........
**........
**........
.**......*
.**.....**
..******.*
..........
..........
..........
..........
D:12,0,11
..........
*******...
.**....*..
..*.....*.
..*.....**
..*.....**
..*.....**
..*.....**
..*.....**
..*.....*.
.*******..
..........
..........
..........
..........
E:10,0,11
.........
.*******.
..**...*.
..**.....
..**.....
..**.*...
..****...
..**.....
..**.....
..**....*
.********
.........
.........
.........
.........
F:9,0,11
........
********
.**....*
..*....*
..*.....
..*..*..
..****..
..*.....
..*.....
..*.....
.***....
........
........
........
........
G:12,0,11
..........
....***...
..**...**.
.**.....*.
.**.......
.*........
**........
.*......**
.**.....**
.**.....**
..*******.
..........
..........
..........
..........
H:13,0,11
...........
****...****
.**......*.
.**......*.
.**......*.
.**......*.
.*********.
.**......*.
.**......*.
.**......*.
.**.....***
...........
...........
...........
...........
I:6,0,11
.....
*****
..*..
..*..
..*..
..*..
..*..
..*..
..*..
..*..
.***.
.....
.....
.....
.....
J:8,0,11
.......
...****
....**.
....**.
....**.
....**.
....**.
....**.
....**.
....**.
....**.
....**.
....**.
*...*..
****...
K:13,0,11
..........
*****.****
..**...*..
..*...*...
..*..*....
..*..*....
..*.**....
..**.**...
..*...**..
..*....**.
.***....**
..........
..........
..........
..........
L:10,0,11
.........
*****....
..*......
..*......
..*......
..*......
..*......
..*......
..*......
..*.....*
.********
.........
.........
.........
.........
M:15,0,11
.............
****......***
..**......*..
..**.....**..
..***...*.*..
..*.*...*.*..
..*.**.*..*..
..*.**.*..*..
..*..**...*..
..*..**...*..
.**......***.
.............
.............
.............
.............
N:12,0,11
...........
***.....***
.**......*.
.***.....*.
.*.**....*.
.*..**...*.
.*...**..*.
.*....**.*.
.*.....***.
.*......**.
.**......*.
...........
...........
...........
...........
O:13,0,11
............
....****....
...*....**..
..*......*..
.**......**.
.*........**
**........**
.*........*.
.**......**.
..**.....*..
...******...
............
............
............
............
P:10,0,11
.........
*******..
..*...**.
..*....*.
..*....**
..*....*.
..*****..
..*......
..*......
..*......
..**.....
.........
.........
.........
.........
Q:13,0,11
...............
.....***.......
...*....*......
..*......*.....
.**......**....
.**......**....
**.......**....
.*.......**....
.**......*.....
..*.....**.....
...*****.......
...............
....*..***.....
.........******
..........****.
R:11,0,11
.........
*******..
.**...**.
..*...**.
..*...**.
..*...**.
..*.**...
..*.**...
..*..**..
..*...**.
.**....**
.........
.........
.........
.........
S:9,0,11
.......
...*...
.**..*.
**.....
.*.....
.***...
...***.
.....**
*.....*
**...**
******.
.......
.......
.......
.......
T:12,0,11
..........
**********
*...**...*
*...**....
....**....
....**....
....**....
....**....
....**....
....**....
....**....
..........
..........
..........
..........
U:12,0,11
...........
****....***
.**......*.
.**......*.
.**......*.
.**......*.
.**......*.
.**......*.
.**.....**.
..*.....*..
...*****...
...........
...........
...........
...........
V:13,0,11
...........
*****...***
..**.....*.
..**....*..
...*....*..
...**..*...
....*..*...
....***....
....***....
.....*.....
.....*.....
...........
...........
...........
...........
W:16,0,11
..............
****...*...***
.**....*....*.
..*....**...*.
..**..*.*...*.
..**..*.*..*..
...*..*.**.*..
...*.*..**.*..
...***...**...
...***...**...
....*....**...
..............
..............
..............
..............
X:13,0,11
..........
*****..***
.**.....*.
..**...*..
...**.*...
....**....
.....*....
....*.*...
...*..**..
..*....**.
.**.....**
..........
..........
..........
..........
Y:11,0,11
..........
***....***
.**.....*.
..**...*..
..**...*..
...*..*...
...***....
....**....
....**....
....**....
....**....
..........
..........
..........
..........
Z:9,0,11
........
.*******
*.....*.
*....**.
....**..
....*...
...**...
..**....
..*.....
.**....*
********
........
........
........
........
[:5,0,11
.***
.*..
.*..
.*..
.*..
.*..
.*..
.*..
.*..
.*..
.*..
.***
....
....
....
\:5,0,11
....
*...
*...
.*..
.*..
.*..
.*..
..*.
..*.
..*.
..*.
...*
...*
....
....
]:5,0,11
.***
...*
...*
...*
...*
...*
...*
...*
...*
...*
...*
.***
....
....
....
↑:7,0,11
......
...*..
..***.
.*.*.*
...*..
...*..
...*..
...*..
...*..
...*..
...*..
......
......
......
......
←:9,0,11
........
........
........
........
........
..*.....
.*......
********
.*......
..*.....
........
........
........
........
........
`:3,0,11
.*
*.
**
**
..
..
..
..
..
..
..
..
..
..
..
a:8,0,11
.......
.......
.......
.......
..**...
.*..*..
....**.
..****.
.*..**.
.*..**.
.******
.......
.......
.......
.......
b:9,0,11
.......
**.....
.*.....
.*.....
.*.**..
.**..**
.*....*
.*....*
.*....*
.*...**
.*****.
.......
.......
.......
.......
c:6,0,11
.....
.....
.....
.....
..***
.*..*
**...
*....
*....
**...
.****
.....
.....
.....
.....
d:9,0,11
.......
.....*.
.....*.
.....*.
..****.
.*...*.
**...*.
*....*.
*....*.
**...*.
.******
.......
.......
.......
.......
e:7,0,11
......
......
......
......
..***.
.*..**
**...*
******
**....
**....
.****.
......
......
......
......
f:6,0,11
.....
...*.
..*.*
.*...
.*...
****.
.*...
.*...
.*...
.*...
.**..
.....
.....
.....
.....
g:8,0,11
.......
.......
.......
.......
..**..*
.*..*.*
*...*..
*...*..
.****..
.*.....
*......
.*****.
*....*.
*....*.
.****..
h:9,0,11
.......
..*....
***....
.**....
.**....
.******
.**...*
.**...*
.**...*
.**...*
.**...*
.......
.......
.......
.......
i:5,0,11
...
...
.**
...
..*
.**
.**
.**
.**
.**
.**
...
...
...
...
j:6,0,11
.....
.....
...**
.....
....*
...**
...**
...**
...**
...**
...**
...**
...**
*..**
.***.
k:8,0,11
......
.*....
**....
.*....
.*....
.*..*.
.*.*..
.**...
.*.*..
.*..*.
.*...*
......
......
......
......
l:4,0,11
...
.**
***
.**
.**
.**
.**
.**
.**
.**
.**
...
...
...
...
m:12,0,11
...........
...........
...........
...........
.*.**..**..
***..**..*.
.*...*...**
.*...*...**
.*...*...**
.*...*...**
.*...*...**
...........
...........
...........
...........
n:9,0,11
.......
.......
.......
.......
.*.**..
.**..**
.*...**
.*...**
.*...**
.*...**
.*...**
.......
.......
.......
.......
o:8,0,11
.......
.......
.......
.......
..***..
.*...*.
**...**
**...**
**...**
**...**
.*****.
.......
.......
.......
.......
p:9,0,11
.......
.......
.......
.......
....*..
.**..**
.*....*
.*....*
.*....*
.**...*
.*.***.
.*.....
.*.....
.*.....
.**....
q:9,0,11
......
......
......
......
..***.
.*..**
**...*
**...*
**...*
**...*
.*****
.....*
.....*
.....*
.....*
r:6,0,11
.....
.....
.....
.....
.*..*
.*.**
.**..
.*...
.*...
.*...
.**..
.....
.....
.....
.....
s:6,0,11
.....
.....
.....
.....
.***.
.*.*.
.*...
.**..
..**.
*...*
****.
.....
.....
.....
.....
t:5,0,11
....
....
....
.*..
****
.*..
.*..
.*..
.*..
.*..
.***
....
....
....
....
u:9,0,11
.......
.......
.......
.......
**..***
.*...**
.*...**
.*...**
.*...**
.*...**
.******
.......
.......
.......
.......
v:9,0,11
.......
.......
.......
.......
***..**
.**..*.
..*..*.
..*..*.
...**..
...**..
...*...
.......
.......
.......
.......
w:11,0,11
.........
.........
.........
.........
***....**
.*...*..*
.*..**..*
..*.**..*
..*.****.
..**..**.
..*...*..
.........
.........
.........
.........
x:9,0,11
.......
.......
.......
.......
***.***
.**..*.
..*.*..
...*...
..***..
.*..**.
.*...*.
.......
.......
.......
.......
y:7,0,11
......
......
......
......
***.**
.*...*
.**.*.
..*.*.
..*.*.
..**..
...*..
...*..
..*...
..*...
.*....
z:7,0,11
......
......
......
......
.****.
...**.
...*..
..**..
..*...
.**...
.*****
......
......
......
......
{:6,0,11
.....
...**
..*..
..*..
..*..
..*..
..*..
.*...
.*...
..*..
..*..
..*..
..*..
..*..
...**
|:3,0,11
..
.*
.*
.*
.*
.*
.*
.*
.*
.*
.*
.*
.*
.*
..
#175:8,0,11
.......
.......
.......
.......
.......
..*....
.***..*
*..****
*...**.
.......
.......
.......
.......
.......
.......
}:5,0,11
....
**..
..*.
..*.
..*.
..*.
..*.
...*
...*
..*.
..*.
..*.
..*.
..*.
**..